Using VectorCAST for DO-178B/C Software Verification
ثبت نشده
چکیده
Introduction This whitepaper describes how the VectorCAST embedded software testing platform is used to satisfy the Software Verification Process objectives as defined in section 6.0 of the DO-178B and DO-178C standards, “Software Considerations in Airborne Systems and Equipment Certification.” This whitepaper also highlights the differences between the two standards as they relate to Section 12, the Software Tool Qualification process.
منابع مشابه
Turkiye'de DO-178B Uyumlu Yazilim Sertifikasyon Projelerinde Planlama Surecinde Yasanan Problemler
DO-178B, which is a de facto standard for developing avionics software systems, defines objectives for the entire phases of software lifecycle. Turkey’s avionic industry has shown strong growth over the last decade and as a result of this trend every day new software development companies are involved in the DO-178B compliant software development projects. The certification authorities perform ...
متن کاملAutomatic Code Generation Tools Development Assurance
This paper clarifies DO-178B/ED-12B section 12.2.1.b, as it applies to automatic code generation (ACG) tools. DO-178B/ED-12B proposes that the software level of a development tool should be considered at least the same as the software level of the airborne system’s software application the tool is being used to develop, unless the applicant can justify a reduction in software level of the tool ...
متن کاملVerification and Validation of a Safety-Critical Steer-By-Wire System Using DO-178B
The application of DO-178B for the verification and validation of the safety-critical aspects of a steer-by-wire sub-system of a vehicle by using a spiral development model is discussed. The project was performed within a capstone design course at Kettering University. Issues including lessons learned regarding requirements, specifications, testing, verification, and validation activities as re...
متن کاملUsing SCADE to Develop Mission-critical High-quality Radar Application Software
The development of embedded software for radar applications may require software design processes that comply with the DO-178B standard or related processes. This raises issues about cost and productivity associated with the development of such mission-critical applications. In this paper, we introduce the value of the formal design, verification, and implementation technologies offered by mode...
متن کاملFormal Verification of Avionics Software Products
This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we presented our very first technological research results in [18]. What was just an idea plus some experimental results at that time is now an industrial reality. Indeed, since 2001, Airbus has been integrating several tool supported formal verification techniques into t...
متن کامل